\begin{titlepage}
	\thispagestyle{empty}
	\begin{center}
		\vspace{-4cm}
		\begin{tabular}[1.2\textwidth]{l p{9cm} r}
			\includegraphics[scale=0.54]{logo}
			&&
			\includegraphics[scale=0.36]{lassy}\\
			\hline
		\end{tabular}
		\vspace{2cm}
		\\
		\begin{Huge}				
			\begin{center}
				\textbf{Invariant Preservation In Iterative Modeling\\
				(Extended Version)}
			\end{center}
		\end{Huge}
		
		\vspace{1.5cm}
		\begin{center}			
			\begin{Large}
				\textbf{Levi \textsc{L\'ucio}, Eugene \textsc{Syriani}, Moussa \textsc{Amrani}, Qin \textsc{Zhang}\\ and Hans \textsc{Vangheluwe}}
			\end{Large}
		\end{center}
		
		\vspace{1cm}
		\begin{tabular}{c}
			Laboratory for Advanced Software Systems (\textsc{Lassy})\\
			University of Luxembourg\\
			6, rue R. Coudenhove-Kalergi\\
			L-1359 Luxembourg\\ \\
			\\ \\ \\ \\
			TR-LASSY-12-13\\
			\\\\\\
			January -- October 2012
			\end{tabular}
			\date{October 2011}
			
%			\vspace{5cm}
%			\begin{center}
%				\begin{minipage}{0.8\textwidth}
%					\textbf{Abstract:} Domain-Specific Modelling Languages (DSMLs) are becoming increasingly popular. They make the task of software modelling amenable to people that are experts in some problem domain. DSMLs capture the knowledge of a particular domain to enable the construction of models expressed in terms of domain-specifc concepts. They constitute valuable knowledge artifacts that can be adapted and reused in a variety of related problems. The problem, however, is that most metamodelling languages, which are used to construct DSMLs, lack a complete formal semantics. This means that metamodels cannot be subject to mechanical verification and validation, which precludes their use in more rigorous settings, such as safety critical systems and embedded applications. 
%
%This paper addresses the problem of formality in metamodelling languages. It defines the first formal semantics of a subset of Kermeta, a popular object-oriented metamodelling language based on MOF. The semantics is based on a set-theoretic framework with Kermeta's execution semantics described using the structural operational semantics style. This formalisation paves the way for formal verification of Kermeta metamodels.
%				\end{minipage}
%			\end{center}
	\end{center}
\end{titlepage}
\cleardoublepage